#  AIDE: Automata Identification Engine 

AIDE is a free and open source tool for automata inference algorithms developed in C# .Net. 


## Compilation

You can download the code of AIDE from its [homepage](http://aide.codeplex.com/). AIDE is developed in C#.Net and depends on following components:

- **Automata Tool** and **Conformance Testing Engine**: These two components are open source and have been developed in the contex of AIDE project.
- **Microsoft GLEE**: This is an optional component used for visualization. So, if you want to use this component, first, you have to download it from [here](http://research.microsoft.com/research/downloads/Details/f1303e46-965f-401a-87c3-34e1331d32c5/Detailslynn.aspx?0sr=a). For convinience, we already put the three required library in the directory) but you should agree with the terms and conditions of GLEE contained in the GLEE license (see below).

The code can be compiled and executed in Microsoft Windows (running Microsoft .Net Framework 4.0 or above) and Linux (running [Mono](http://www.mono-project.com/Main_Page) which is a free and open source implementation of Microsoft's .NET Framework based on the ECMA standards for many operating systems, including MS Windows, OS X and Linux distributions). For more information, check the AIDE's documentation.


## Documentation
Documentation can be found [here](https://aide.codeplex.com/documentation)

## Licence

AIDE is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (LGPL) published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. This program is distributed without any warranty. See the GNU Lesser General Public License for more details.

**Note:** The visulalization component (called SSViewer) is using Microsoft GLEE. So, if you are using this component, the terms and conditions governing GLEE are contained in the license apply to your use of GLEE. Any license restrictions provided in the GLEE license are in addition to, not in lieu of, the terms and conditions of this license. IT IS YOUR OBLIGATION TO READ AND ACCEPT ALL SUCH TERMS AND CONDITIONS PRIOR TO USE. 
